A fault tolerant architecture for supervisory control of discrete event systems
نویسندگان
چکیده
In this paper the problem of Fault Tolerant Control (FTC) in the framework of Discrete Event Systems (DES) modeled as automata is considered. The approach we follow is the so-called active approach in which the supervisor actively reacts to the detection of a malfunctioning component in order to eventually meet degraded control specifications. Starting from an appropriate model of the system, we recall the notion of safe diagnosability as a necessary step in order to achieve fault tolerant supervision of DES. We then introduce two new notions: (i) “safe controllability”, which represents the capability, after the occurrence of a fault, of steering the system away from forbidden zones and (ii) “active fault tolerant system”, which is the property of safely continuing operation after faults. We show how it is possible to define a general control architecture to deal with the FTC problem by introducing a special kind of automaton, called a “diagnosing-controller”. Copyright c ©2008 IFAC.
منابع مشابه
Partial Observation in Distributed Supervisory Control of Discrete-Event Systems
Distributed supervisory control is a method to synthesize local controllers in discrete-eventsystems with a systematic observation of the plant. Some works were reported on extending this methodby which local controllers are constructed so that observation properties are preserved from monolithic todistributed supervisory control, in an up-down approach. In this paper, we find circumstances in ...
متن کاملFault-Tolerant Control of Discrete Event Systems based on Fault-Accommodating Models
Fault-tolerant control systems with discrete-event dynamics allow for differing sets of design requirements, that specify the system’s behaviour during nominal operation and in the case of component degradation or component malfunction. This paper is concerned with the design of faulttolerant control algorithms for discrete event systems in the framework of supervisory control theory. Its main ...
متن کاملRecent Developments in Discrete Event Systems
This article is a brief exposure of the process approach to a newly emerging area called "discrete event systems" in control theory and summarizes some of the recent developments in this area. Discrete event systems is an area of research that is developing within the interstices of computer, control and communication sciences. The basic direction of research addresses issues in the analysis an...
متن کاملFault-tolerant robust supervisor for discrete event systems with model uncertainty and its application to a workcell
This paper addresses the problem of fault-tolerant robust supervisory control of discrete event systems (DES’s) with model uncertainty. Necessary and sufficient conditions for the existence of a fault-tolerant robust supervisor are derived. If the conditions are satisfied, then tolerable fault event sequences embedded in the system can be achieved. The results obtained are applied to design, mo...
متن کامل